21. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
22. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
23. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
24. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
25. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
26. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
27. Mathematical problems from applied logic
پدیدآورنده : / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
28. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
29. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
30. Semantical Investigations in Heyting's Intuitionistic Logic
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Semantics.
31. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
32. The rise of modern logic :
پدیدآورنده : edited by Dov M. Gabbay and John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic-- History.,Logic.
33. What is negation?
پدیدآورنده : edited by Dov M. Gabbay and Heinrich Wansing.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Negation (Logic)
رده :
BC199
.
N4
E358
2011
